Issue4450.agda:15,1-14
Cannot use ETA pragma with safe flag.
